推导

tuīdǎo

[derivation; deduction] 根据已知的公理、 定义、 定理、 定律等经过演算和逻辑推理而得出新的结论